Nuprl Definition : nequal
12,41
postcript
pdf
a
b
T
==
(
a
=
b
)
latex
clarification:
a
b
T
==
(
a
=
b
T
)
latex
Definitions
a
b
T
,
A
FDL editor aliases
nequal
origin
b 
T == 
(a = b)
b T == (a = b T) b T == (a = b)
b T == (a = b T) b T A